1. Communicating sequential process
پدیدآورنده: / C.A.R. Hoare
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic digital computers--Programming,Parallel processing (Electronic computers)
رده :
QA
76
.
6
.
H5
2. Communicating sequential processes
پدیدآورنده : C. A. R. Hoare
موضوع : Electronic digital computers- Programming,Parallel processing (electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Communicating sequential processes
پدیدآورنده: / C.A.R. Hoare
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic digital computers -- Programming,Parallel processing (Electronic computers)
رده :
QA76
.
6
.
H57
1985
4. Communicating sequential processes
پدیدآورنده: / C. A. R. Hoare
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Electronic digital computers - Programming,Parallel processing electronic
رده :
QA76
.
6
.
H57
1985
5. Communication sequential processes
پدیدآورنده: / C. A. R. Hoare
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Electronic digital computers--Programming,Parallel processing (Electronic computers)
رده :
QA
76
.
6
.
H57
1985
6. Communication sequential processes
پدیدآورنده: / C. A. R. Hoare
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic digital computers--Programming,Parallel processing (Electronic computers)
رده :
QA
76
.
6
.
H57
1985
7. Developments in concurrency and communication
پدیدآورنده: edited by C.A.R. Hoare
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Parallel processing )Electronic computers(
رده :
QA
76
.
58
.
D48
1991
8. Essays in computing science
پدیدآورنده: C.A.R. Hoare ; C.B. Jones, editor
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Electronic data processing,Computers
رده :
QA
،
76
،.
H56
،
1989
9. Essays in computing science /
پدیدآورنده: C.A.R. Hoare ; C.B. Jones, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Hoare, C. A. R.-- Bibliography.,Computers.,Electronic data processing.,Bibliography-- Hoare, C.A.R.,Computers.,Electronic data processing.
رده :
QA76
.
5
10. Mathematical logic and programming language
پدیدآورنده: Hoare, C. A. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
11. Mathematical logic and programming languages
پدیدآورنده: edited by C.A.R. Hoare and J.C. Shepherdson
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
12. Mathematical logic and programming languages
پدیدآورنده: / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
13. #Operating systems techniques
پدیدآورنده: #edited by C. A. R. Hoare ]and[ R. H. Perrott
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Operating systems )Computers( -- Congresses
رده :
#
QA
،#.
I57
،#
1971
14. Operating systems techniques; proceedings
پدیدآورنده: edited by C. A. R. Hoare )and( R. H. Perrott,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Operating systems )Computers( - Congresses
رده :
QA
.
I57
76
.
6
1971
15. Scientific applications of multiprocessors
پدیدآورنده : edited by R. Elliott, and C.A.R. Hoare
موضوع : Science- Data processing- Congresses,Multiprocessors- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
16. Structured Programming
پدیدآورنده: \ O.J. Dahl, E. W. Dijkstra, C. A. R. Hoare.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer programming.
رده :
E-Book
,
17. #Structured programming
پدیدآورنده: #]by[ O.-J. Dahl, E. W. Dijkstra ]and[ C. A. R. Hoare
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Structured programming
رده :
#
QA
،#.
D33
18. Structured programming
پدیدآورنده: / [by ??O.-J. Dahl, E. W. Dijkstra [and ??C. A. R. Hoare
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Structured programming
رده :
QA
,
76
.
6
,.
D33
19. Structured programming
پدیدآورنده: / O.-J. Dahl, E. W. Dijkstra, C. A. R. Hoare
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Structured programming
رده :
QA76
.
6
.
D33
20. Structured programming,
پدیدآورنده: [by] O.-J. Dahl, E. W. Dijkstra [and] C. A. R. Hoare
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming
رده :
QA76
.
6
.
D33
